Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
141	waveletlimit_tudelft_10-17.dvi Add to Reading List Source URL: www.ewi.tudelft.nl Language: English - Date: 2011-05-11 08:16:59 Wavelets Numerical analysis Functional analysis Galerkin method Daubechies wavelet Multiresolution analysis Haar wavelet Partial differential equation Flux limiter Mathematical analysis Calculus Mathematics
142	Asymptotically Almost Periodic Solutions for Abstract Partial Neutral Integro-Differential Equation Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Calculus Functional analysis Operator theory Ordinary differential equations Analytic semigroup Semigroup theory Heat equation Spectral theory of ordinary differential equations Symbol Mathematical analysis Spectral theory Mathematics
143	TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000–000 SXXDUALITY FOR BOREL MEASURABLE COST FUNCTIONS Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-02-27 09:23:01 Transportation theory Functional analysis Mathematical analysis Measure theory Calculus of variations
144	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
145	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
146	Profiling For Laziness Matthias Felleisen Stephen Chang Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-11-08 13:58:15 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
147	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
148	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Mathematical logic Computer science Denotational semantics Lambda calculus Symbol Combinatory logic Orbifold Programming Computable Functions Theoretical computer science Logic in computer science Programming language semantics
149	Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Compiler construction Parsing Lexical analysis American Sign Language Lex Expr Hindley–Milner Computing Software Programming language implementation
150	FINDING MATRICES WHICH SATISFY FUNCTIONAL EQUATIONS SCOTT DUKE KOMINERS Linear algebra is typically taught shortly after calculus. Thus, calculus-informed linear algebra problems offer an exceptional opportunity to illus Add to Reading List Source URL: www.scottkom.com Language: English - Date: 2009-12-01 08:03:56 Matrix theory Matrix Linear algebra Invertible matrix Functional equation Exponential function Taylor series Algebra Mathematics Mathematical analysis

UPDATE